Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
981	Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 09:26:50 Lisp programming language Functional languages Procedural programming languages ACL2 Formal methods Automated theorem proving First-order logic Recursion Lisp Computer programming Software engineering Computing
982	Integrating Hands-on Work into the Formal Languages Course via Tools and Programming Susan H. Rodger Department of Computer Science Duke University Durham, NC[removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:06:06 Theoretical computer science Pushdown automaton Deterministic pushdown automaton Nondeterministic finite automaton Finite-state machine Non-deterministic Turing machine Turing machine LL parser LR parser Theory of computation Automata theory Models of computation
983	In each set, how do the ones on the left differ from the ones on the right? 16 Example: Pattern Matcher Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:17 Formal languages Pattern matching Regular expressions Question Recursion Conditional Sentence Computer programming Computing Software engineering
984	Parsing English with a Link Grammar Daniel D. K. Sleator * Davy Temperley October 1991 CMU-CS[removed] Add to Reading List Source URL: www.link.cs.cmu.edu Language: English - Date: 2004-03-24 13:40:45 Language Parsing Formal grammar Context-free grammar Syntax Immediate constituent analysis Interpretation Combinatory categorial grammar Electrical connector Formal languages Linguistics Grammar
985	Common Logic in Support of Metadata and Ontologies Outline • Common Logic Add to Reading List Source URL: cl.tamu.edu Language: English - Date: 2005-04-14 11:03:14 Predicate logic Knowledge representation Model theory Semantics Formal languages Common logic Conceptual graph First-order logic Knowledge Interchange Format Logic Science Mathematical logic
986	Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Formal methods Functional languages Cross-platform software Automated theorem proving ACL2 Common Lisp Formal verification Lisp Software engineering Computing Computer programming
987	A Visual and Interactive Automata Theory Course with JFLAP 4.0 ∗ Ryan Cavalcante Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2003-12-22 12:57:12 Compiler construction Theoretical computer science Computer science Automata theory LL parser LR parser Parsing Nondeterministic finite automaton Finite-state machine Formal languages Models of computation Theory of computation
988	Finding Relevant Patterns in Bursty Sequences Alexander Lachmann ∗ Mirek Riedewald Add to Reading List Source URL: www.vldb.org Language: English - Date: 2008-10-22 09:22:52 Mathematics Bioinformatics Sequence mining Mathematical analysis Diff Continuous function GSP Algorithm Data mining Computing Formal languages
989	Tobias Nipkow Gerwin Klein C Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:15 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
990	PDF Document Add to Reading List Source URL: www.openldap.org Language: English - Date: 2014-07-10 16:44:55 Asterisk Exponentiation Computing Formal languages Programming language theory ALGOL 68 Software engineering